Those health workers who had known breaches of protective protocol will be required to stay at home for 21 days& with the possibility of mandatory quarantine, Mr. McAuliffe said in a statement. 麦考利夫在一份声明中称,那些已知曾违反防护规程的医护人员,将被要求在家里待21天,并可能被强制隔离。
The formalization analysis and test result indicate that this protocol can complete the bidirectional authentication and authorization, can authenticate a member who departs from the secret communication without any statement, and can resist straight or deflective run internal replay attacks, as well as the man-in-middle attacks. 形式化分析及实验结果表明,该协议能够完成身份的双向鉴别和授权,能够鉴别成员未经声明就脱离组、抵抗轮内延时或偏向重放以及中间人攻击。
There are two main segments in this protocol: message and statement transition mechanism. 这一协议主要包含两部分:命令消息和状态转换机制。
According to TTCN ( tree and tabular combined notation) structure frame, a similar formalized language to describe the EPA abstract test suite is defined. The generation method of PICS ( protocol implementing conformance statement) and protocol implement extra information are also researched. 参照TTCN的结构框架定义了一种描述EPA抽象测试集的类形式化语言,提出了EPA协议实现一致性说明和协议实施附加信息的生成方法;